perm filename D[DIS,DBL]2 blob
sn#213802 filedate 1976-05-06 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00008 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .DEVICE XGP
C00004 00003 .COMMENT MACROS
C00015 00004 .COMMENT SET THE VARIABLES
C00016 00005 .COMMENT GET THE CHAPTERS
C00018 00006 .COMMENT Things still to do
C00019 00007 .COMMENT Title page
C00021 00008 5↓_Table of Contents_↓*
C00022 ENDMK
C⊗;
.DEVICE XGP
.FONT 1 "BASL30"
.FONT 2 "BASB30"
.FONT 3 "NGR25"
.FONT 4 "BASI30"
.FONT 5 "BDR40"
.FONT 6 "NGB25"
.FONT 7 "NGR20"
.FONT 8 "GRFX35"
.FONT A "SUP"
.FONT B "SUB"
.TURN ON "↑α↓_π[]{"
.TURN ON "⊗" FOR "%"
.TURN ON "@" FOR "%"
.PAGE FRAME 54 HIGH 80 WIDE
.COMMENT PAGE FRAME 54 HIGH 89 WIDE;
.TITLE AREA HEADING LINES 1 TO 2
.AREA TEXT LINES 3 TO 52
.COUNT PAGE FROM 1 TO 999 PRINTING "1"
.TABBREAK
.COMMENT split the following, wen readying for 2-sided document;
.ODDLEFTBORDER←EVENLEFTBORDER←1350
.COMMENT IF device is LPT then remove these ligatures;
.AT "ffi" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "≠" ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "≥" ELSE "fαf" ⊃;
.AT "fl" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "∨" ELSE "fαl" ⊃;
.AT "fi" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "α≡" ELSE "fαi" ⊃;
.AT "--" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "α¬" ELSE "-α-" ⊃;
.COMMENT MACROS;
.MACRO FAD ⊂ FILL ADJUST DOUBLE SPACE PREFACE 2 ⊃
.MACRO FAS ⊂ FILL ADJUST SINGLE SPACE PREFACE 1 COMPACT SELECT 1 INDENT 0,0,0 ⊃
.FAS
.MACRO GET(FILE, PPS); ⊂ BEGIN "FILE"
. REQUIRE "FILE" SOURCE_FILE;
. END "FILE" ⊃;
.MACRO GGET(FILE, PPS); ⊂ BEGIN "FILE"
. IF APPYET=0 THEN START NSEC(FILE); END;
. ELSE START NSECA(FILE); END;
. IF PPS>0 THEN START PAGE←PAGE+PPS; END;
. END "FILE" ⊃;
.COMMENT split the following, when readying for 2-sided document;
.MACRO HEAD ⊂ EVERY HEADING(⊗7AM Thesis Draft:⊗8 ⊗7chapter {SECNUM},Doug Lenat,⊗4{DATE} ⊗6 page {PAGE}⊗1) ⊃
.MACRO HEADA ⊂ EVERY HEADING(⊗7AM Thesis Draft:⊗8 ⊗7appendix {ASECNUM},Doug Lenat,⊗4{DATE} ⊗6 page {PAGE}⊗1) ⊃
.COMMENT MACRO HEADA ⊂ EVERY HEADING(⊗7AM Thesis Draft:⊗* ⊗4{DATE}⊗*,⊗7Doug Lenat⊗*,⊗7appendix {ASECNUM} ⊗*⊗6 page {PAGE}⊗*) ⊃;
.MACRO B ⊂ BEGIN VERBATIM GROUP ⊃
.MACRO E ⊂ APART END ⊃
.MACRO ES ⊂ END SKIP 1 ⊃
.MACRO D ⊂ ONCE PREFACE 100 MILLS ⊃
.MACRO O44 ⊂ ONCE PREFACE 0 INDENT 4,4,0 ⊃
.MACRO OO ⊂ ONCE PREFACE 1 INDENT 0,4,0 ⊃
.MACRO B04 ⊂ BEGIN PREFACE 0 INDENT 4,4,0 ONCE INDENT 0,4,0 PREFACE 1 ⊃
.MACRO B48 ⊂ BEGIN PREFACE 0 INDENT 4,8,0 ONCE PREFACE 1 ⊃
.MACRO B816 ⊂ BEGIN SELECT 6 PREFACE 0 INDENT 8,16,0 ONCE PREFACE 1 ⊃
.MACRO B1 ⊂ BEGIN NOFILL PREFACE 0 SELECT 6 TURN OFF "{}" TURN ON "↑↓" ⊃
.MACRO B0 ⊂ BEGIN SELECT 8 NOFILL PREFACE 0 MILLS TURN OFF "↑↓" GROUP ⊃
.MACRO B7 ⊂ BEGIN SELECT 8 NOFILL PREFACE 0 MILLS TURN OFF "↑↓" GROUP ⊃
.MACRO W(F) ⊂ SELECT F NOFILL SINGLE SPACE; PREFACE 0 ⊃
.MACRO MTURN ⊂ TURN OFF "{∞→}" ; TURN ON "↑↓α_π[]" ⊃
.MACRO BN ⊂ BEGIN INDENT 4,7,0 PREFACE 0 BNN←0 ⊃
.MACRO BBOX ⊂ B0 TURN ON "∞→α" TOPLIN ⊃
.MACRO WBOX (LEFTN,RIGHTN) ⊂ B0;
. LEFTNN←LEFTN-5
. RIGHTNN←RIGHTN-5
. NARROW LEFTNN,RIGHTNN;
. TURN ON "∞→α";
. TOPLIN ⊃
.MACRO EBOX ⊂ BOTLIN E BREAK ⊃
.MACRO TOPLIN ⊂
⊂∞α→⊃
. ⊃
.MACRO BOTLIN ⊂
%∞α→$
. ⊃
.AT "MBOX" L "$" ⊂ "~ ⊗6L⊗8∞ →~" ⊃
.MACRO BOX (εTOPSIDE,εBOTTOMSIDE,εLEFTSIDE,εRIGHTSIDE) ⊂
.BEGIN
.AREA BOXING LINES TOPSIDE TO BOTTOMSIDE+1
.PLACE BOXING
.NOFILL; PREFACE 0 MILLS
.SELECT 8
.INDENT LEFTSIDE
.TABS RIGHTSIDE
.TURN ON "\∞→"
⊂∞α→\⊃
.K←BOTTOMSIDE-TOPSIDE-1
.REPEAT ⊂
~∞ →\~
.K←K-1; IF K≤0 THEN DONE
.⊃
%∞α→\$
.END
.⊃
.MACRO BOXTOP (εLLEFT) ⊂ BEGIN
. IF LINES≤LLEFT THEN START NEXT PAGE ; END ;
. TOPHERE←TOPLINE+LINE-1
. SPACING 0 MILLS; PREFACE 0 MILLS
. GROUP SKIP 2
. INDENT 2,2,2
. ⊃
.MACRO BOXBOT (εLL,εRR)⊂
. BOTTOMHERE←TOPLINE+LINE-1
. GROUP SKIP 2
. END
. BOX (TOPHERE,BOTTOMHERE,LL,RR)
. ⊃
.AT "λλ" ⊂ TURN ON "{}" BNN←BNN+1 "⊗6{BNN}.⊗* " ⊃
.MYFOOT←1
.FOOTSEP←"________________________________________________________________________________"
.COUNT FOOTNOTE INLINE PRINTING "⊗A1⊗*"
.AT "$$" ENTRY "$" ⊂ XGENLINES←XGENLINES-1; NEXT FOOTNOTE; !;
.SEND FOOT ⊂ TURN ON "[]{" SELECT 7; SPACING 0; PREFACE 0; INDENT 0,10
⊗A{MYFOOT}⊗* ENTRY
.MYFOOT←MYFOOT+1
.BREAK ⊃ ⊃
.AT "<<" ENTRY ">" ⊂ COMMENT we may want to record all such omissions somewhere;
.TURN ON "{"
.SEND TODO ⊂
Page {PAGE}: @7ENTRY@*
. ⊃
.TURN OFF "{"
⊗2<↓_Still to do:_↓ ⊗* ⊗4 ENTRY⊗*⊗2>⊗*
.BREAK ⊃
.AT "***" ENTRY "." ⊂ APART GROUP
⊗6** ↓_ENTRY:_↓ **⊗*
. ⊃
.AT "*.*" ENTRY "." ⊂ "⊗6** ↓_ENTRY_↓ **⊗*" ⊃
.AT "-1-" ⊂ "⊗A-1⊗*" ⊃;
.AT "-o-" ⊂ "⊗7o⊗*" ⊃;
.AT "∂" ⊂ "αα" ⊃;
.MACRO NSECP(A) ⊂ SSECNUM←0
.MYFOOT←1
.COUNT FOOTNOTE INLINE PRINTING "⊗A1⊗*"
.SECNUM←SECNUM+1
.HEAD
.SECTION←"A"
.SKIP TO COLUMN 1
.TURN ON "{∞→"
.SEND CONTENTS ⊂
@2{SECNUM}. ↓_A_↓⊗* ∞.→ {PAGE}
.⊃
.SEND TODO ⊂
@2↓_CHAPTER {SECNUM}_↓@*
. ⊃
.MTURN
.BEGIN CENTER TURN ON "{}" RETAIN
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
@5Chapter {SECNUM}. A⊗*
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
.END
. ⊃
.MACRO NSEC(A) ⊂ SSECNUM←0
.MYFOOT←1
.COUNT FOOTNOTE INLINE PRINTING "⊗A1⊗*"
.SECNUM←SECNUM+1
.HEAD
.SECTION←"A"
.COMMENT DO NOT SKIP TO COLUMN 1;
.TURN ON "{∞→"
.SEND CONTENTS ⊂
@1{SECNUM}. ↓_A_↓⊗* ∞.→ @7Not pubbed⊗*
.⊃
.SEND TODO ⊂
@2↓_CHAPTER {SECNUM}_↓ is not present in this pub run@*
. ⊃
.MTURN
.BEGIN CENTER TURN ON "{}" RETAIN
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
@5Chapter {SECNUM}: A⊗1 ---- Not Pubbed
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
.END
. ⊃
.MACRO SSEC(A) ⊂
.FAS
.SSECNUM←SSECNUM+1
.SSSECNUM←0
.SKIP 2
.IF LINES≤5 THEN START SKIP TO COLUMN 1 END ;
.TURN ON "{∞→"
.SEND CONTENTS ⊂
@1 {SECNUM}.{SSECNUM}. A⊗* ∞.→ {PAGE}
.⊃
.MTURN
.ONCE CENTER TURN ON "{}"
@5↓_{SECNUM}.{SSECNUM}. A_↓⊗*
.COMMENT here is the way they were:
. ONCE INDENT 6 TURN ON "{}"
. (no dot) @2↓_{SECNUM}.{SSECNUM}. A_↓⊗*
. ;
. ⊃
.MACRO SSSEC(A) ⊂ TURN ON "{∞→"
.FAS
.SSSECNUM←SSSECNUM+1
.SKIP 1
.IF LINES≤4 THEN START SKIP TO COLUMN 1 END ;
.SEND CONTENTS ⊂
@1 @*@7A⊗*
.⊃
.MTURN
.COMMENT This used to indent 1;
.ONCE INDENT 2 TURN ON "{}"
@2↓_{SECNUM}.{SSECNUM}.{SSSECNUM}. A_↓⊗*
. ⊃
.MACRO ASEC(Z) ⊂ SSECNUM←0
.APPYET←1;
.SECTION←"Z"
.FAS
.MYFOOT←1
.COUNT FOOTNOTE INLINE PRINTING "⊗A1⊗*"
.ASECNUM←ASECNUM+1
.HEADA
.SKIP TO COLUMN 1
.TURN ON "{∞→"
.SEND CONTENTS ⊂
@2Appendix {ASECNUM}. ↓_Z_↓⊗* ∞.→ {PAGE}
.⊃
.SEND TODO ⊂
@2↓_APPENDIX {ASECNUM}_↓@*
. ⊃
.MTURN
.BEGIN CENTER TURN ON "{}" RETAIN
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
@5Appendix {ASECNUM}. Z⊗*
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
.END
. ⊃
.MACRO NSECA(Z) ⊂ SSECNUM←0
.COMMENT For GGETing a non-present appendix;
.SECTION←"Z"
.ASECNUM←ASECNUM+1
.HEADA
.COMMENT DO NOT SKIP TO COLUMN 1;
.TURN ON "{∞→"
.SEND CONTENTS ⊂
@2Appendix {ASECNUM}. ↓_Z_↓⊗* ∞.→ @7Not pubbed⊗*
.⊃
.SEND TODO ⊂
@2↓_APPENDIX {ASECNUM}_↓ is not present in this pub run@*
. ⊃
.MTURN
.BEGIN CENTER TURN ON "{}" RETAIN
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
@5Appendix {ASECNUM}: Z⊗1 ---- not pubbed
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
.END
. ⊃
.MACRO ASSECP(Z) ⊂ SKIP TO COLUMN 1; ASSEC(Z) ⊃
.MACRO ASSEC(Z) ⊂ TURN ON "{∞→"
.SELECT 1
.SKIP 1
.IF LINES≤4 THEN START SKIP TO COLUMN 1 END ;
.SSECNUM←SSECNUM+1;
.SEND CONTENTS ⊂
@1 Z⊗*
.⊃
.MTURN
.ONCE CENTER TURN ON "{}"
@2↓_Appendix {ASECNUM}.{SSECNUM}. _↓⊗5↓_ Z_↓⊗*
. ⊃
.MACRO ASSSEC(Z) ⊂ TURN ON "{∞→"
.FAS
.SKIP 1
.IF LINES≤4 THEN START SKIP TO COLUMN 1 END ;
.SSSECNUM←SSSECNUM+1;
.SEND CONTENTS ⊂
@1 @*@7Z⊗*
.⊃
.MTURN
.ONCE INDENT 2 TURN ON "{}"
@3↓_Appendix {ASECNUM}.{SSECNUM}.{SSSECNUM}._↓@*@2↓_ Z_↓⊗*
. ⊃
.COMMENT SET THE VARIABLES;
.FAS
.SECNUM←-1
.ASECNUM←0
.SSECNUM←0
.APPYET←0
.BNN←85
.SELECT 1
.INSERT CONTENTS
.PAGE←0
.PORTION THESIS
.TURN OFF "{∞→}"
.PAGE←0
.NEXT PAGE
.INDENT 0
.FAS
.MTURN
.COMMENT GET THE CHAPTERS;
.ABSTRA: 0
.OVERV: 1
.EXAM1: 2
.AGENDA: 3
.HEURS: 4
.KNOWL: 5
.RESULT: 6
.EVALU: 7
.SCIENC: 1
.GLOS: 2
.ALLCON: 3
.MAXDIV: 4
.RIPPLE: 5
.CONS: 6
.TRACES: 7
. EXAM2: 7
.BIB: 8
.GET(ABSTRA,1)
.GET(OVERV,5)
.GET(EXAM1,11)
.GET(AGENDA,12)
.GET(HEURS,26)
.GET(KNOWL,39)
.GET(RESULT,0)
.GET(EVALU,0)
.APPYET ← 1;
.GET(SCIENC,0)
.GET(GLOS,4)
.GET(ALLCON,0)
.GET(MAXDIV,5)
.GET(RIPPLE,0)
.GET(CONS,0)
.GET(TRACES,0)
.GGET(BIB,9)
. ;
.COMMENT This set of ggets is ggood for debugging
.GGET(ABSTRA,1)
.GGET(OVERV,5)
.GGET(EXAM1,11)
.GGET(AGENDA,12)
.GGET(HEURS,26)
.GGET(KNOWL,39)
.GGET(RESULT,0)
.GGET(EVALU,0)
.APPYET ← 1
.GGET(SCIENC,0)
.GGET(GLOS,4)
.GET(ALLCON,0)
.GGET(MAXDIV,5)
.GGET(RIPPLE,0)
.GGET(CONS,0)
.GGET(TRACES,0)
.GGET(BIB,9)
. ;
.COMMENT Things still to do;
.EVERY HEADING(,,)
.PORTION TODO
.BEGIN NOFILL PREFACE 0 TURN ON "α[]↑↓_{}∞→" SELECT 1
.ONCE CENTER
⊗5↓_Things still to do_↓⊗*
.RECEIVE
.END
.PAGE←0
.SELECT 1
.COMMENT Title page;
.EVERY HEADING(,,)
.PORTION CONTENTS
.NOFILL
.NARROW 6,8
.PREFACE 0 TURN ON "α[]↑↓_{}∞→" SELECT 1
.BEGIN CENTER
.GROUP SKIP 3
.SELECT 5
DISCOVERY IN MATHEMATICS AS HEURISTIC SEARCH:
Artificial Intelligence approaches Plausibility
.SELECT 2
.TURN ON "{∞→"
Douglas B. Lenat
Artificial Intelligence Laboratory
Stanford University
⊗6Thesis Draft as of: {DATE}⊗*
.SELECT 4
"Indeed, you can build a machine to draw demonstrative conclusions for you,
but I think you can never build a machine that will draw plausible inferences."
⊗7---- Polya, ↓_Patterns of Plausible Inference_↓⊗*
.SELECT 1
.SKIP TO COLUMN 1
⊗5↓_Table of Contents_↓⊗*
.END
.PREFACE 0
.COMMENT PREFACE 10 MILLS;
.NARROW 4,4
.RECEIVE
.PAGE←0
.SELECT 1